схема индукции

См. также в других словарях:

• ИНДУКЦИИ АКСИОМА — утверждение о справедливости для всех хнек рого предиката Р(х), определенного на множестве всех неотрицательных целых чисел, если выполняются следующие условия: 1) справедливо Р(0),2) для любого х, если верно Р(х), то верно и P(x+1). И. а.… …   Математическая энциклопедия

• СХЕМА АКСИОМ — (аксиомная схема) – разновидность постулатов, с помощью к рых в логике задаются исчисления (формальные системы). С а. представляет собой выражение, составленное из т.н. метаматем. букв. т.е. символов, не входящих в алфавит рассматриваемой системы …   Философская энциклопедия

• АКСИОМ СХЕМА — единый способ задания аксиом, обладающих одной и той же синтаксич. структурой. Конкретная А. с. обычно реализуется при помощи фиксирующего ее синтаксич. структуру выражения (чаще всего не принадлежащего языку, в к ром записываются аксиомы) и… …   Математическая энциклопедия

• АРИФМЕТИКА ФОРМАЛЬНАЯ — арифметическое исчисление, логико математич. исчисление, формализующее элементарную теорию чисел. Язык наиболее употребительного варианта А. ф. содержит константу 0, числовые переменные, символ равенства, функциональные символы (прибавление 1) и… …   Математическая энциклопедия

• Формальная арифметика —         формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см …   Большая советская энциклопедия

• Гальванометр — Схема работы гальванометра …   Википедия

• Гроб Мухаммеда (опыт) — Схема Эффекта Мейснера. Показаны линии магнитного поля и их вытеснение из сверхпроводника, находящегося ниже своей критической температуры. Эффект Мейснера  полное вытеснение магнитного поля из материала при переходе в сверхпроводящее состояние.… …   Википедия

• Капельница Кельвина — Схема Капельницы Кельвина Капельница Кельвина является генератором электростатического напряжения. Она названа в честь лорда Кельвина, который изобрел её в 1867 году. Это предельно простое устройство обеспечивает п …   Википедия

• Гроб Мухаммеда — Схема Эффекта Мейснера. Показаны линии магнитного поля и их вытеснение из сверхпроводника, находящегося ниже своей критической температуры. Эффект Мейснера  полное вытеснение магнитного поля из материала при переходе в сверхпроводящее состояние.… …   Википедия

• Мейснера эффект — Схема Эффекта Мейснера. Показаны линии магнитного поля и их вытеснение из сверхпроводника, находящегося ниже своей критической температуры. Эффект Мейснера  полное вытеснение магнитного поля из материала при переходе в сверхпроводящее состояние.… …   Википедия

• Эффект Мейсснера — Схема Эффекта Мейснера. Показаны линии магнитного поля и их вытеснение из сверхпроводника, находящегося ниже своей критической температуры. Эффект Мейснера  полное вытеснение магнитного поля из материала при переходе в сверхпроводящее состояние.… …   Википедия